321. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: Dirk Taubner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
369
322. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
,
76
.
9
,.
D5
,
T39
,
1989
323. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
76
.
9
.
D5
T39
1989
324. First International Enterprise Distributed Object Computing Workshop: October 24-26, 1997, Gold Coast, Australia
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(,Congresses ، Electronic data processing-- Distributed processing
Classification :
QA
76
.
9
.
O35
.
I563
1997
325. Fog and edge computing :
Author: edited by Rajkumar Buyya and Satish Narayana Srirama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing.,Electronic data processing-- Distributed processing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.
Classification :
QA76
.
585
.
F63
2019
326. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
327. Formal Techniques for Distributed Objects, Components, and Systems
Author: \ Susanne Graf , Mahesh Viswanathan (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,دادهپردازی -- پردازش توزبع شده -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها ,پروتکلهای شبکه کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
D5F6
2015
E-Book
,
328. Formal methods for distributed processing
Author: / Howard Bowman, John Derrick
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Electronic data processing -- Distributed processing,Object-oriented programming (Computer science)
Classification :
QA
76
.
9
.
D5F662
2001
329. Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
Author: FORTE/PSTV 0002, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella
Library: (Semnan)
Subject: Congresses ، Electronic data processing- Distributed processing,Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67
330. Formal methods for open object-based distributed systems
Author: / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2003
331. Formal methods for open object-based distributed systems
Author: / Martin Steffen, Gianluigi Zavattaro (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing--Distributed processing--Congresses.,Object-oriented programming (Computer science)--Congresses.
Classification :
QA76
.
9
.
D5
I573
2005
332. Formal methods for open object-based distributed systems
Author: / Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2007
333. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Author: Martin Steffen, Gianluigi Zavattaro )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3535
334. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Author: Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2884
335. Formal methods for open object-based distributed systems. volume 2
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Distributed processing-- Congresses,، Object-oriented methods )Computer science(-- Congresses
Classification :
QA
76
.
9
.
D5
.
F66
1997
336. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
337. Formal models of communicating systems
Author: / Benedikt Bollig
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing,Multitasking (Computer science)
Classification :
QA
,
76
.
9
,.
D5
,
B65
,
2006
338. Formal models of communicating systems
Author: / Benedikt Bollig.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing,Computer multitasking, -- Distributed processing,a04,a06
Classification :
QA76
.
9
.
D5
B65
2006
339. Formal systems specification : the RPC-memory specification case study
Author: Manfred Broy, Stephan Merz, Katharina Spies )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
Classification :
QA
76
.
L28
Vol
.
1169
340. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
